1. Applications of process algebra
Author: edited by J.C.M. Baeten
Library: Central Library and Documentation Center (Semnan)
Subject: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
Classification :
QA
267
.
A67
2004
2. Applications of process algebra
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Machine theory ► Parallel processing (Electronic computers) ► Computer science-Mathematics ► Computer network protocols ► Axiomatic set theory ► Algebra
Classification :
512
A652
3. Applications of process algebra
Author: / J.C.M. Baeten
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
Classification :
QA
267
.
A67
2004
4. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
5. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
6. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
7. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
8. Complexity of computation
Author: edited by Richard M. Karp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
Classification :
QA
267
.
C57
9. Computation engineering
Author: / Ganesh Gopalakrishnan., Gopalakrishnan, Ganesh.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science--Mathematics., Computer logic., Machine theory.
Classification :
QA
76
.
9
.
M35
G67
2006
10. Computation engineering
Author: / Ganesh Gopalakrishnan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer logic.,Machine theory.
11. Computation engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
12. Discrete mathematics
Author: James L. Hein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.
Classification :
QA76
.
9
.
M35
J364
1996
13. Discrete structures and automata theory
Author: Rakesh Dube, Adesh Pandey, Ritu Gupta
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory
Classification :
QA
76
.
9
.
M35D82
14. Discrete structures and automata theory
Author: / Rakesh Dube, Adesh pandey, Ritu Gupta
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics,Machine theory
Classification :
QA
76
.
9
.
M35
D38
2006
15. Finite automata, formal logic, and circuit complexity
Author: Howard Straubing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
16. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
17. Fundamentals of computation theory
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
Classification :
QA
267
.
I57
1985
18. Handbook of Graphical Models
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: BUSINESS & ECONOMICS / Statistics.,Computer Science.,COMPUTERS / Machine Theory.,MATHEMATICS / Probability & Statistics / General.
19. Introduction to deep learning :
Author: Sandro Skansi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.
Classification :
QA76
.
9
.
D343
20. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
